Nuprl Definition : bor
9,38
postcript
pdf
p
q
== if
p
then tt else
q
fi
latex
Definitions
if
b
then
t
else
f
fi
,
tt
origin
q == if p then tt else q fi q == if p then tt else q fi